package com.wxxymaker.model.dao;

import com.wxxymaker.model.entity.Stage;
import org.springframework.data.jpa.repository.JpaRepository;
import org.springframework.data.jpa.repository.JpaSpecificationExecutor;
import org.springframework.data.jpa.repository.Modifying;
import org.springframework.data.jpa.repository.Query;
import org.springframework.data.repository.query.Param;

import java.util.Date;

public interface StageDao extends JpaRepository<Stage, Integer>, JpaSpecificationExecutor<Stage> {

    /**
     * 更新阶段结束时间
     * @param id 阶段id
     * @param endTime 结束时间
     */
    @Modifying
    @Query("update Stage set endTime = :endTime where id = :id")
    int setEndTime(@Param("id") Integer id, @Param("endTime") Date endTime);

    /**
     * 增加指定阶段打分的参与人数
     * @param id 阶段id
     */
    @Modifying
    @Query("update Stage set userSum=userSum+1 where id = :id")
    int addUserSum(@Param("id") Integer id);
}
